Marco Pistore: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automated composition of Web services via planning in asynchronous domains

Piergiorgio Bertoli, Marco Pistore, Paolo Traverso

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 1.74 MB

english, 2010

2

[IEEE 2016 IEEE International Smart Cities Conference (ISC2) - Trento, Italy (2016.9.12-2016.9.15)] 2016 IEEE International Smart Cities Conference (ISC2) - A gamification framework for the long-term engagement of smart citizens

Kazhamiakin, Raman, Marconi, Annapaola, Martinelli, Alberto, Pistore, Marco, Valetto, Giuseppe

Year:

2016

Language:

english

File:

PDF, 1.36 MB

english, 2016

3

Automatic generation and recommendation of personalized challenges for gamification

Khoshkangini, Reza, Valetto, Giuseppe, Marconi, Annapaola, Pistore, Marco

Journal:

User Modeling and User-Adapted Interaction

Year:

2020

File:

PDF, 1.08 MB

2020

4

Task decomposition on abstract states, for planning under nondeterminism

Ugur Kuter, Dana Nau, Marco Pistore, Paolo Traverso

Journal:

Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 900 KB

english, 2009

5

[IEEE 2015 IEEE First International Smart Cities Conference (ISC2) - Guadalajara, Mexico (2015.10.25-2015.10.28)] 2015 IEEE First International Smart Cities Conference (ISC2) - Using gamification to incentivize sustainable urban mobility

Kazhamiakin, Raman, Marconi, Annapaola, Perillo, Mirko, Pistore, Marco, Valetto, Giuseppe, Piras, Luca, Avesani, Francesco, Perri, Nicola

Year:

2015

Language:

english

File:

PDF, 802 KB

english, 2015

6

Graph Rewriting for Agent Oriented Visual Modeling

Aliaksei Novikau, Anna Perini, Marco Pistore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 424 KB

english, 2004

7

Requirements-Driven Verification of Web Services

Marco Pistore, Marco Roveri, Paolo Busetta

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 295 KB

english, 2004

8

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language

Alexey Gotsman, Fabio Massacci, Marco Pistore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 291 KB

english, 2005

9

Structured coalgebras and minimal HD-automata for the -calculus

Ugo Montanari, Marco Pistore

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 427 KB

english, 2005

10

On the semantics of durational actions

Flavio Corradini, GianLuigi Ferrari, Marco Pistore

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 251 KB

english, 2001

11

Eager, Busy-Waiting and Lazy Actions Timed Computation

Flavio Corradini, GianLuigi Ferrari, Marco Pistore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.18 MB

english, 1997

12

An Introduction to History Dependent Automata

Ugo Montanari, Marco Pistore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.18 MB

english, 1998

13

‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’

Flavio Corradini, Marco Pistore

Journal:

Acta Informatica

Year:

2001

Language:

english

File:

PDF, 279 KB

english, 2001

14

Specifying and analyzing early requirements in Tropos

Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Pistore, Marco Roveri, Paolo Traverso

Journal:

Requirements Engineering

Year:

2004

Language:

english

File:

PDF, 745 KB

english, 2004

15

Concurrent Semantics for the π-calculus

Ugo Montanari, Marco Pistore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 954 KB

english, 1995

16

A Partition Refinement Algorithm for the π-Calculus

Marco Pistore, Davide Sangiorgi

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 480 KB

english, 2001

17

Uptake and utilization of lipid constituents, dispersed in culture water, by the bivalve mollusc Scapharca inaequivalvis (Bruguiere)

Marco Vincenzo Piretti, Roberto Pistore, Giampiero Pagliuca

Journal:

Comparative Biochemistry and Physiology Part B: Comparative Biochemistry

Year:

1989

Language:

english

File:

PDF, 407 KB

english, 1989

18

[ACM Press the International Workshop - Lugano, Switzerland (2011.09.14-2011.09.14)] Proceedings of the International Workshop on Quality Assurance for Service-Based Applications - QASBA '11 - CLAM

Zengin, Asli, Marconi, Annapaola, Pistore, Marco

Year:

2011

Language:

english

File:

PDF, 923 KB

english, 2011

19

[IEEE 2011 IEEE International Conference on Web Services (ICWS) - Washington, DC, USA (2011.07.4-2011.07.9)] 2011 IEEE International Conference on Web Services - CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications

Zengin, Asli, Kazhamiakin, Raman, Pistore, Marco

Year:

2011

Language:

english

File:

PDF, 129 KB

english, 2011

20

[Lecture Notes in Computer Science] Artificial Intelligence: Methodology, Systems, and Applications Volume 5253 || Multilingual Plagiarism Detection

Dochev, Danail, Pistore, Marco, Traverso, Paolo

Year:

2008

Language:

english

File:

PDF, 534 KB

english, 2008

21

[Lecture Notes in Computer Science] Future Internet - FIS 2009 Volume 6152 || On Using Home Networks and Cloud Computing for a Future Internet of Things

Zseby, Tanja, Savola, Reijo, Pistore, Marco

Year:

2010

Language:

english

File:

PDF, 420 KB

english, 2010

22

[IEEE 2011 15th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW) - Helsinki, Finland (2011.08.29-2011.09.2)] 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops - A Context-Aware Framework for Business Processes Evolution

Bucchiarone, Antonio, Marconi, Annapaola, Pistore, Marco, Sirbu, Adina

Year:

2011

Language:

english

File:

PDF, 959 KB

english, 2011

23

[Lecture Notes in Computer Science] Future Internet - FIS 2009 Volume 6152 ||

Zseby, Tanja, Savola, Reijo, Pistore, Marco

Year:

2010

Language:

english

File:

PDF, 3.74 MB

english, 2010

24

[Lecture Notes in Computer Science] Artificial Intelligence: Methodology, Systems, and Applications Volume 5253 || Robustness Analysis of SARSA(λ): Different Models of Reward and Initialisation

Dochev, Danail, Pistore, Marco, Traverso, Paolo

Year:

2008

Language:

english

File:

PDF, 456 KB

english, 2008

25

[IEEE 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Sydney, Australia (2008.12.9-2008.12.12)] 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study

Pietro, Ivan Di, Pagliarecci, Francesco, Spalazzi, Luca, Marconi, Annapaola, Pistore, Marco

Year:

2008

Language:

english

File:

PDF, 403 KB

english, 2008

26

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - Design and Verification ofWeb Services Compositions in the Telecommunication Domain

Bertoli, Piergiorgio, Ferrari, Laura, Kazhamiakin, Raman, Moiso, Corrado, Pistore, Marco, Thuegaz, Ermes

Year:

2007

Language:

english

File:

PDF, 116 KB

english, 2007

27

[IEEE 2006 IEEE International Conference on Web Services (ICWS'06) - Chicago, IL, USA (2006.09.18-2006.09.22)] 2006 IEEE International Conference on Web Services (ICWS'06) - Run-Time Monitoring of Instances and Classes of Web Service Compositions

Barbon, Fabio, Traverso, Paolo, Pistore, Marco, Trainotti, Michele

Year:

2006

Language:

english

File:

PDF, 473 KB

english, 2006

28

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Control Flow Requirements for Automated Service Composition

Bertoli, Piergiorgio, Kazhamiakin, Raman, Paolucci, Massimo, Pistore, Marco, Raik, Heorhi, Wagner, Matthias

Year:

2009

Language:

english

File:

PDF, 374 KB

english, 2009

29

[IEEE 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Irvine, CA, USA (2011.12.12-2011.12.14)] 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Adaptation of service-based business processes by context-aware replanning

Bucchiarone, Antonio, Pistore, Marco, Raik, Heorhi, Kazhamiakin, Raman

Year:

2011

Language:

english

File:

PDF, 377 KB

english, 2011

30

[IEEE 2012 Ninth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2012.04.16-2012.04.18)] 2012 Ninth International Conference on Information Technology - New Generations - A Constraint-Driven Business Object Model for Service-Based Business Processes

Zulkernine, Farhana H., Bertoli, Piergiorgio, Pistore, Marco, Friesen, Andreas, Lemcke, Jens, Thimmel, Bernhard, Von Geisau, Otfried

Year:

2012

Language:

english

File:

PDF, 506 KB

english, 2012

31

[IEEE 2011 IEEE International Conference on Web Services (ICWS) - Washington, DC, USA (2011.07.4-2011.07.9)] 2011 IEEE International Conference on Web Services - Dynamic Composition of Pervasive Process Fragments

Sirbu, Adina, Marconi, Annapaola, Pistore, Marco, Eberle, Hanna, Leymann, Frank, Unger, Tobias

Year:

2011

Language:

english

File:

PDF, 1.19 MB

english, 2011

32

[IEEE 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Irvine, CA, USA (2011.12.12-2011.12.14)] 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - CLAM: Managing cross-layer adaptation in service-based systems

Zengin, Asli, Marconi, Annapaola, Baresi, Luciano, Pistore, Marco

Year:

2011

Language:

english

File:

PDF, 250 KB

english, 2011

33

[IEEE Proceedings. Eighth International Workshop on Discrete Event Systems - Ann Arbor, MI, USA (2006.07.10-2006.07.12)] 2006 8th International Workshop on Discrete Event Systems - A Tool for Controller Synthesis via Symbolic Model Checking

Gromyko, Andrey, Pistore, Marco, Traverso, Paolo

Year:

2006

Language:

english

File:

PDF, 130 KB

english, 2006

34

[IEEE 2006 IEEE International Conference on Web Services (ICWS'06) - Chicago, IL, USA (2006.09.18-2006.09.22)] 2006 IEEE International Conference on Web Services (ICWS'06) - Static Verification of Control and Data inWeb Service Compositions

Kazhamiakin, Raman, Pistore, Marco

Year:

2006

Language:

english

File:

PDF, 258 KB

english, 2006

35

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Dynamo + Astro: An Integrated Approach for BPEL Monitoring

Baresi, Luciano, Guinea, Sam, Pistore, Marco, Trainotti, Michele

Year:

2009

Language:

english

File:

PDF, 559 KB

english, 2009

36

[IEEE 2006 IEEE International Conference on Web Services (ICWS'06) - Chicago, IL, USA (2006.09.18-2006.09.22)] 2006 IEEE International Conference on Web Services (ICWS'06) - Representation, Verification, and Computation of Timed Properties in Web

Kazhamiakin, Raman, Pandya, Paritosh, Pistore, Marco

Year:

2006

Language:

english

File:

PDF, 457 KB

english, 2006

37

[IEEE 2007 IEEE International Conference on Software Maintenance - Paris, France (2007.10.2-2007.10.5)] 2007 IEEE International Conference on Software Maintenance - Agree or Change! Making Services Evolve

Traverso, Paolo, Pistore, Marco

Year:

2007

Language:

english

File:

PDF, 42 KB

english, 2007

38

[IEEE 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - Zurich, Switzerland (2012.06.4-2012.06.4)] 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - A car logistics scenario for context-aware adaptive service-based systems

Bucchiarone, Antonio, Khurshid, Nawaz, Marconi, Annapaola, Pistore, Marco, Raik, Heorhi

Year:

2012

Language:

english

File:

PDF, 702 KB

english, 2012

39

[IEEE 2012 IEEE World Congress on Services (SERVICES) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE Eighth World Congress on Services - ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems

Raik, Heorhi, Bucchiarone, Antonio, Khurshid, Nawaz, Marconi, Annapaola, Pistore, Marco

Year:

2012

Language:

english

File:

PDF, 1.39 MB

english, 2012

40

[IEEE 2013 IEEE International Conference on Web Services (ICWS) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE 20th International Conference on Web Services - Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems

Bucchiarone, Antonio, Marconi, Annapaola, Pistore, Marco, Traverso, Paolo, Bertoli, Piergiorgio, Kazhamiakin, Raman

Year:

2013

Language:

english

File:

PDF, 574 KB

english, 2013

41

[IEEE 2012 IEEE 19th International Conference on Web Services (ICWS) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE 19th International Conference on Web Services - Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes

Bucchiarone, Antonio, Marconi, Annapaola, Pistore, Marco, Raik, Heorhi

Year:

2012

Language:

english

File:

PDF, 925 KB

english, 2012

42

[IEEE 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - Zurich, Switzerland (2012.06.4-2012.06.4)] 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - PRadapt: A framework for dynamic monitoring of adaptable service-based systems

Contreras, Ricardo, Zisman, Andrea, Marconi, Annapaola, Pistore, Marco

Year:

2012

Language:

english

File:

PDF, 242 KB

english, 2012

43

[IEEE 2013 IEEE International Conference on Web Services (ICWS) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE 20th International Conference on Web Services - Data-Flow Requirements for Dynamic Service Composition

Kazhamiakin, Raman, Marconi, Annapaola, Pistore, Marco, Raik, Heorhi

Year:

2013

Language:

english

File:

PDF, 419 KB

english, 2013

44

[IEEE 2012 Workshop on "European Software Services and Systems Research - Results and Challenges" (S-Cube) - Zurich, Switzerland (2012.06.5-2012.06.5)] 2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube) - Adaptivity in dynamic service-based systems

Bucchiarone, Antonio, Kazhamiakin, Raman, Marconi, Annapaola, Pistore, Marco

Year:

2012

Language:

english

File:

PDF, 90 KB

english, 2012

45

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study.

Marconi, Annapaola, Pistore, Marco, Poccianti, Piero, Traverso, Paolo

Year:

2007

Language:

english

File:

PDF, 761 KB

english, 2007

46

[Lecture Notes in Computer Science] Future Internet - FIS 2009 Volume 6152 || A Local Knowledge Base for the Media Independent Information System

Zseby, Tanja, Savola, Reijo, Pistore, Marco

Year:

2010

Language:

english

File:

PDF, 214 KB

english, 2010

47

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code

Bertoli, Piergiorgio, Hoffmann, Joerg, Lecue, Freddy, Pistore, Marco

Year:

2007

Language:

english

File:

PDF, 170 KB

english, 2007

48

[ACM Press the 15th international conference - Edinburgh, Scotland (2006.05.23-2006.05.26)] Proceedings of the 15th international conference on World Wide Web - WWW '06 - Analysis of communication models in web service compositions

Kazhamiakin, Raman, Pistore, Marco, Santuari, Luca

Year:

2006

Language:

english

File:

PDF, 310 KB

english, 2006

49

A model-checking verification environment for mobile processes

Ferrari, Gian-Luigi, Gnesi, Stefania, Montanari, Ugo, Pistore, Marco

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 558 KB

english, 2003

50

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Exploiting assumption-based verification for the adaptation of service-based applications

Gehlert, Andreas, Bucchiarone, Antonio, Kazhamiakin, Raman, Metzger, Andreas, Pistore, Marco, Pohl, Klaus

Year:

2010

Language:

english

File:

PDF, 439 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски